Dict(
	[10, 2, 11, 20, 13, 1, 1, 12, 1, 1] => QQFieldElem[9//16, 0, 0, 0])